PET

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 2
Property:unfairA (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.05 --relative-error --only-result -m egl.prism -p egl.props --property unfairA --const N=10,L=2
Execution
Walltime:431.95319390296936s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at de.tum.in.pet.implementation.reachability.StateValuesReachability$$Lambda$19/0x00000008400bd040.get$Lambda(Unknown Source)
	at java.base/java.lang.invoke.DirectMethodHandle$Holder.invokeStatic(DirectMethodHandle$Holder)
	at java.base/java.lang.invoke.Invokers$Holder.linkToTargetMethod(Invokers$Holder)
	at de.tum.in.pet.implementation.reachability.StateValuesReachability.upperBound(StateValuesReachability.java:50)
	at de.tum.in.pet.implementation.reachability.StateValuesReachability.bounds(StateValuesReachability.java:31)
	at de.tum.in.pet.implementation.reachability.StateUpdateReachability.update(StateUpdateReachability.java:43)
	at de.tum.in.pet.sampler.UnboundedSampler.update(UnboundedSampler.java:263)
	at de.tum.in.pet.sampler.UnboundedSampler.update(UnboundedSampler.java:256)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:173)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveDtmc(ReachChecker.java:266)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:142)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)